Why Logic Was Forced To Un-Retire